Issue2044.agda:8,5-6
No instance of type C was found in scope.
when checking that the expression d has type T
